21. Logic-Based Program Synthesis and Transformation
پدیدآورنده : edited by María Alpuente.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
22. Logic and Program Semantics
پدیدآورنده : edited by Robert L. Constable, Alexandra Silva
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
23. Mathematical Methods in Program Development
پدیدآورنده : edited by Manfred Broy, Birgit Schieder.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1997
24. Model Checking Software :
پدیدآورنده : edited by Ezio Bartocci, C.R. Ramakrishnan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
25. Models in Software Engineering
پدیدآورنده : edited by Jörg Kienzle
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
26. Multiagent System Technologies
پدیدآورنده : edited by Franziska Klügl, Sascha Ossowski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer networks.,Computer science.,Logic design.,Software engineering.
27. Perspectives of System Informatics :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
28. Perspectives of Systems Informatics
پدیدآورنده : edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
29. Progamming Language Implementation and Logic Programming :
پدیدآورنده : edited by Maurice Bruynooghe, Jaan Penjam.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
30. Program Specification :
پدیدآورنده : edited by Jørgen Staunstrup.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1982
31. Programming Language Implementation and Logic Programming :
پدیدآورنده : edited by Jan Maluszyński, Martin Wirsing.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
32. Programming Languages and Systems -- ESOP '94 :
پدیدآورنده : edited by Donald Sannella.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
33. Programming Languages and Systems -- ESOP '96 :
پدیدآورنده : edited by Hanne Riis Nielson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
34. Programming and Mathematical Method :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1992
35. Programs as Data Objects :
پدیدآورنده : by Harald Ganzinger, Neil D. Jones.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
36. Recent Trends in Data Type Specification :
پدیدآورنده : edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
37. Relations and Graphs :
پدیدآورنده : by Gunther Schmidt, Thomas Ströhlein.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
M35
B948
1993
38. Runtime Verification
پدیدآورنده : edited by Sarfraz Khurshid, Koushik Sen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
39. Semantics:
پدیدآورنده : edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
40. Software Composition
پدیدآورنده : edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
